翻訳と辞書 Words near each other ・ Firuz Shah Suri ・ Firuz Shah Tughlaq ・ Firuz Tughlaq ・ Firuz, Kerman ・ Firuz-Shah Zarrin-Kolah ・ Firuza Alifova ・ Firuza Zubaydova ・ Firuzabad ・ Firuzabad County ・ Firuzabad District ・ First-order election ・ First-order fluid ・ First-order hold ・ First-order logic ・ First-order partial differential equation ・ First-order predicate ・ First-order reaction ・ First-order reduction ・ First-order reliability method ・ First-order second-moment method ・ First-out alarm ・ First-party ・ First-past-the-post voting ・ First-person narrative ・ First-person shooter ・ First-person shooter (disambiguation) ・ First-person shooter engine ・ First-person view (radio control) ・ First-pitch strike ・ First-preference votes Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク First-order predicate ： ウィキペディア英語版 First-order predicate In mathematical logic, a first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s).〔.〕 Compare second-order predicate and higher-order predicate. ==See also== *First-order predicate calculus *Monadic predicate calculus 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「First-order predicate」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.